Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
2

Combined model checking for temporal, probabilistic, and real-time logics

Рік:
2013
Мова:
english
Файл:
PDF, 599 KB
english, 2013
4

Evaluation of a risk-based environmental hot spot delineation algorithm

Рік:
2007
Мова:
english
Файл:
PDF, 657 KB
english, 2007
12

Sepsis-associated encephalopathy versus sepsis-induced encephalopathy–Authors' reply

Рік:
2014
Мова:
english
Файл:
PDF, 45 KB
english, 2014
32

Application of Perpendicular Magnetic Recording for Use in Angular Encoders

Рік:
1994
Мова:
english
Файл:
PDF, 404 KB
english, 1994
33

Introduction to the ABZ 2016 Special issue

Рік:
2018
Мова:
english
Файл:
PDF, 142 KB
english, 2018